﻿//#include "TestsIGraph.h"
//#include "TestsAlgo.h"
#include "TestTwoSAT.h" 
#include <iostream>
#include <cstdio>

using namespace std;

int main() {
	//testAlgo();
	testAlgoTwoSAT();
	//testIGraph();
	return 0;
}